Sampling-based program execution monitoring
نویسندگان
چکیده
منابع مشابه
Semantics Directed Program Execution Monitoring
Monitoring semantics is a formal model of program execution which captures “monitoring activity” as found in profilers, tracers, debuggers, etc. Beyond its theoretical interest, this formalism provides a new methodology for implementing a large family of source-level monitoring activities for sequential deterministic programming languages. In this article we explore the use of monitoring semant...
متن کاملModel-Based Execution Monitoring
The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual e ects of control actions and the e ects predicted by a model, is the topic of this thesis. Modelbased execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process cont...
متن کاملVision-based deep execution monitoring
Execution monitor of high-level robot actions can be effectively improved by visual monitoring the state of the world in terms of preconditions and postconditions that hold before and after the execution of an action. Furthermore a policy for searching where to look at, either for verifying the relations that specify the pre and postconditions or to refocus in case of a failure, can tremendousl...
متن کاملProgram Execution-Based Module Cohesion Measurement
Module cohesion describes the degree to which di erent actions performed by a module contribute towards a uni ed function. High module cohesion is a desirable property of a program. The program modi cations during successive maintenance interventions can have negative e ect on the structure of the program resulting in less cohesive modules. Therefore, metrics that measure module cohesion are im...
متن کاملEvent-Based Monitoring of Process Execution Violations
Process-aware information systems support business operations as they are typically defined in a normative process model. Often these systems do not directly execute the process model, but provide the flexibility to deviate from the normative model. This paper proposes a method for monitoring control-flow deviations during process execution. Our contribution is a formal technique to derive moni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2010
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1755951.1755908